<!DOCTYPE html>
<html lang="zh-CN">
<head>
  <meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=2">
<meta name="theme-color" content="#222">
<meta name="generator" content="Hexo 4.2.1">
  <link rel="apple-touch-icon" sizes="180x180" href="/images/apple-touch-icon-next.png">
  <link rel="icon" type="image/png" sizes="32x32" href="/images/dute_favicon_32x32.png">
  <link rel="icon" type="image/png" sizes="16x16" href="/images/dute_favicon_16x16.png">
  <link rel="mask-icon" href="/images/logo.svg" color="#222">
  <link rel="manifest" href="/images/manifest.json">
  <meta name="msapplication-config" content="/images/browserconfig.xml">
  <meta http-equiv="Cache-Control" content="no-transform">
  <meta http-equiv="Cache-Control" content="no-siteapp">
  <meta name="google-site-verification" content="mpI5dkydstZXl6UcDCppqktXK0bbvqdZ6LkZ3KNk4Iw">
  <meta name="baidu-site-verification" content="code-a1LksZX2Ds">

<link rel="stylesheet" href="/css/main.css">


<link rel="stylesheet" href="/lib/font-awesome/css/font-awesome.min.css">
  <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/fancyapps/fancybox@3/dist/jquery.fancybox.min.css">

<script id="hexo-configurations">
    var NexT = window.NexT || {};
    var CONFIG = {"hostname":"whitestore.top","root":"/","scheme":"Gemini","version":"7.8.0","exturl":true,"sidebar":{"position":"left","display":"post","padding":18,"offset":12,"onmobile":false},"copycode":{"enable":true,"show_result":false,"style":null},"back2top":{"enable":true,"sidebar":true,"scrollpercent":true},"bookmark":{"enable":false,"color":"#222","save":"auto"},"fancybox":true,"mediumzoom":false,"lazyload":false,"pangu":false,"comments":{"style":"tabs","active":null,"storage":true,"lazyload":false,"nav":null},"algolia":{"hits":{"per_page":10},"labels":{"input_placeholder":"Search for Posts","hits_empty":"We didn't find any results for the search: ${query}","hits_stats":"${hits} results found in ${time} ms"}},"localsearch":{"enable":true,"trigger":"auto","top_n_per_article":1,"unescape":false,"preload":false},"motion":{"enable":true,"async":false,"transition":{"post_block":"fadeIn","post_header":"slideDownIn","post_body":"slideDownIn","coll_header":"slideLeftIn","sidebar":"slideUpIn"}},"path":"search.xml"};
  </script>

  <meta name="description" content="计算机程序的构造和解释，">
<meta property="og:type" content="article">
<meta property="og:title" content="计算机程序的构造和解释-笔记(一)">
<meta property="og:url" content="https://whitestore.top/2020/10/07/note29/index.html">
<meta property="og:site_name" content="爱看书的阿东">
<meta property="og:description" content="计算机程序的构造和解释，">
<meta property="og:locale" content="zh_CN">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926145204.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926152047.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926154022.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926154221.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926154557.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926154650.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926154758.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200929214408.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926155047.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926155154.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926155408.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926155727.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926160110.png?ynotemdtimestamp=1601964191688">
<meta property="og:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926164058.png?ynotemdtimestamp=1601964191688">
<meta property="article:published_time" content="2020-10-06T16:20:33.000Z">
<meta property="article:modified_time" content="2023-07-16T06:28:09.274Z">
<meta property="article:author" content="阿东">
<meta property="article:tag" content="Licp">
<meta property="article:tag" content="Scheme">
<meta name="twitter:card" content="summary">
<meta name="twitter:image" content="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926145204.png?ynotemdtimestamp=1601964191688">

<link rel="canonical" href="https://whitestore.top/2020/10/07/note29/">


<script id="page-configurations">
  // https://hexo.io/docs/variables.html
  CONFIG.page = {
    sidebar: "",
    isHome : false,
    isPost : true,
    lang   : 'zh-CN'
  };
</script>

  <title>计算机程序的构造和解释-笔记(一) | 爱看书的阿东</title>
  






  <noscript>
  <style>
  .use-motion .brand,
  .use-motion .menu-item,
  .sidebar-inner,
  .use-motion .post-block,
  .use-motion .pagination,
  .use-motion .comments,
  .use-motion .post-header,
  .use-motion .post-body,
  .use-motion .collection-header { opacity: initial; }

  .use-motion .site-title,
  .use-motion .site-subtitle {
    opacity: initial;
    top: initial;
  }

  .use-motion .logo-line-before i { left: initial; }
  .use-motion .logo-line-after i { right: initial; }
  </style>
</noscript>

<link rel="alternate" href="/atom.xml" title="爱看书的阿东" type="application/atom+xml">
</head>

<body itemscope itemtype="http://schema.org/WebPage">
  <div class="container use-motion">
    <div class="headband"></div>

    <header class="header" itemscope itemtype="http://schema.org/WPHeader">
      <div class="header-inner"><div class="site-brand-container">
  <div class="site-nav-toggle">
    <div class="toggle" aria-label="切换导航栏">
      <span class="toggle-line toggle-line-first"></span>
      <span class="toggle-line toggle-line-middle"></span>
      <span class="toggle-line toggle-line-last"></span>
    </div>
  </div>

  <div class="site-meta">

    <a href="/" class="brand" rel="start">
      <span class="logo-line-before"><i></i></span>
      <h1 class="site-title">爱看书的阿东</h1>
      <span class="logo-line-after"><i></i></span>
    </a>
      <p class="site-subtitle" itemprop="description">赐他一块白色石头，石头上写着新名</p>
  </div>

  <div class="site-nav-right">
    <div class="toggle popup-trigger">
        <i class="fa fa-search fa-fw fa-lg"></i>
    </div>
  </div>
</div>




<nav class="site-nav">
  <ul id="menu" class="menu">
        <li class="menu-item menu-item-home">

    <a href="/" rel="section"><i class="fa fa-fw fa-home"></i>首页</a>

  </li>
        <li class="menu-item menu-item-tags">

    <a href="/tags/" rel="section"><i class="fa fa-fw fa-tags"></i>标签</a>

  </li>
        <li class="menu-item menu-item-categories">

    <a href="/categories/" rel="section"><i class="fa fa-fw fa-th"></i>分类</a>

  </li>
        <li class="menu-item menu-item-archives">

    <a href="/archives/" rel="section"><i class="fa fa-fw fa-archive"></i>归档</a>

  </li>
        <li class="menu-item menu-item-sitemap">

    <a href="/sitemap.xml" rel="section"><i class="fa fa-fw fa-sitemap"></i>站点地图</a>

  </li>
      <li class="menu-item menu-item-search">
        <a role="button" class="popup-trigger"><i class="fa fa-search fa-fw"></i>搜索
        </a>
      </li>
  </ul>
</nav>



  <div class="search-pop-overlay">
    <div class="popup search-popup">
        <div class="search-header">
  <span class="search-icon">
    <i class="fa fa-search"></i>
  </span>
  <div class="search-input-container">
    <input autocomplete="off" autocapitalize="off"
           placeholder="搜索..." spellcheck="false"
           type="search" class="search-input">
  </div>
  <span class="popup-btn-close">
    <i class="fa fa-times-circle"></i>
  </span>
</div>
<div id="search-result">
  <div id="no-result">
    <i class="fa fa-spinner fa-pulse fa-5x fa-fw"></i>
  </div>
</div>

    </div>
  </div>

</div>
    </header>

    

  <span class="exturl github-corner" data-url="aHR0cHM6Ly9naXRodWIuY29tL2xhenlUaW1lcw==" title="Follow me on GitHub" aria-label="Follow me on GitHub"><svg width="80" height="80" viewBox="0 0 250 250" aria-hidden="true"><path d="M0,0 L115,115 L130,115 L142,142 L250,250 L250,0 Z"></path><path d="M128.3,109.0 C113.8,99.7 119.0,89.6 119.0,89.6 C122.0,82.7 120.5,78.6 120.5,78.6 C119.2,72.0 123.4,76.3 123.4,76.3 C127.3,80.9 125.5,87.3 125.5,87.3 C122.9,97.6 130.6,101.9 134.4,103.2" fill="currentColor" style="transform-origin: 130px 106px;" class="octo-arm"></path><path d="M115.0,115.0 C114.9,115.1 118.7,116.5 119.8,115.4 L133.7,101.6 C136.9,99.2 139.9,98.4 142.2,98.6 C133.8,88.0 127.5,74.4 143.8,58.0 C148.5,53.4 154.0,51.2 159.7,51.0 C160.3,49.4 163.2,43.6 171.4,40.1 C171.4,40.1 176.1,42.5 178.8,56.2 C183.1,58.6 187.2,61.8 190.9,65.4 C194.5,69.0 197.7,73.2 200.1,77.6 C213.8,80.2 216.3,84.9 216.3,84.9 C212.7,93.1 206.9,96.0 205.4,96.6 C205.1,102.4 203.0,107.8 198.3,112.5 C181.9,128.9 168.3,122.5 157.7,114.1 C157.9,116.9 156.7,120.9 152.7,124.9 L141.0,136.5 C139.8,137.7 141.6,141.9 141.8,141.8 Z" fill="currentColor" class="octo-body"></path></svg></span>


    <main class="main">
      <div class="main-inner">
        <div class="content-wrap">
          

          <div class="content post posts-expand">
            

    
  
  
  <article itemscope itemtype="http://schema.org/Article" class="post-block" lang="zh-CN">
    <link itemprop="mainEntityOfPage" href="https://whitestore.top/2020/10/07/note29/">

    <span hidden itemprop="author" itemscope itemtype="http://schema.org/Person">
      <meta itemprop="image" content="/images/avatar.gif">
      <meta itemprop="name" content="阿东">
      <meta itemprop="description" content="随遇而安">
    </span>

    <span hidden itemprop="publisher" itemscope itemtype="http://schema.org/Organization">
      <meta itemprop="name" content="爱看书的阿东">
    </span>
      <header class="post-header">
        <h1 class="post-title" itemprop="name headline">
          计算机程序的构造和解释-笔记(一)
        </h1>

        <div class="post-meta">
            <span class="post-meta-item">
              <span class="post-meta-item-icon">
                <i class="fa fa-calendar-o"></i>
              </span>
              <span class="post-meta-item-text">发表于</span>

              <time title="创建时间：2020-10-07 00:20:33" itemprop="dateCreated datePublished" datetime="2020-10-07T00:20:33+08:00">2020-10-07</time>
            </span>
              <span class="post-meta-item">
                <span class="post-meta-item-icon">
                  <i class="fa fa-calendar-check-o"></i>
                </span>
                <span class="post-meta-item-text">更新于</span>
                <time title="修改时间：2023-07-16 14:28:09" itemprop="dateModified" datetime="2023-07-16T14:28:09+08:00">2023-07-16</time>
              </span>
            <span class="post-meta-item">
              <span class="post-meta-item-icon">
                <i class="fa fa-folder-o"></i>
              </span>
              <span class="post-meta-item-text">分类于</span>
                <span itemprop="about" itemscope itemtype="http://schema.org/Thing">
                  <a href="/categories/SICP/" itemprop="url" rel="index"><span itemprop="name">SICP</span></a>
                </span>
            </span>

          
            <span class="post-meta-item" title="阅读次数" id="busuanzi_container_page_pv" style="display: none;">
              <span class="post-meta-item-icon">
                <i class="fa fa-eye"></i>
              </span>
              <span class="post-meta-item-text">阅读次数：</span>
              <span id="busuanzi_value_page_pv"></span>
            </span>
  
  <span class="post-meta-item">
    
      <span class="post-meta-item-icon">
        <i class="fa fa-comment-o"></i>
      </span>
      <span class="post-meta-item-text">Valine：</span>
    
    <a title="valine" href="/2020/10/07/note29/#valine-comments" itemprop="discussionUrl">
      <span class="post-comments-count valine-comment-count" data-xid="/2020/10/07/note29/" itemprop="commentCount"></span>
    </a>
  </span>
  
  <br>
            <span class="post-meta-item" title="本文字数">
              <span class="post-meta-item-icon">
                <i class="fa fa-file-word-o"></i>
              </span>
                <span class="post-meta-item-text">本文字数：</span>
              <span>2.9k</span>
            </span>
            <span class="post-meta-item" title="阅读时长">
              <span class="post-meta-item-icon">
                <i class="fa fa-clock-o"></i>
              </span>
                <span class="post-meta-item-text">阅读时长 &asymp;</span>
              <span>3 分钟</span>
            </span>
            <div class="post-description">计算机程序的构造和解释，</div>

        </div>
      </header>

    
    
    
    <div class="post-body" itemprop="articleBody">

      
        <h1 id="前言"><a href="#前言" class="headerlink" title="前言"></a>前言</h1><h2 id="为什么要学计算机程序的构造与解释"><a href="#为什么要学计算机程序的构造与解释" class="headerlink" title="为什么要学计算机程序的构造与解释"></a>为什么要学计算机程序的构造与解释</h2><p><span class="exturl" data-url="aHR0cDovL2Jsb2cuemhhb2ppZS5tZS8yMDA5LzA3L3JlY29tbWVuZGVkLXJlYWRpbmctMi1zaWNwLmh0bWw=" title="http://blog.zhaojie.me/2009/07/recommended-reading-2-sicp.html">http://blog.zhaojie.me/2009/07/recommended-reading-2-sicp.html<i class="fa fa-external-link"></i></span> 很老的一个帖子上的推荐</p>
<ul>
<li>了解任何东西，思想最重要</li>
<li>抽象的思维，如何从简单到复杂</li>
<li>用不同的角度去考虑用咒语来实现功能</li>
<li>学习任何语言思想最重要的是思想本身，而scheme由于语言天生的自由性，可以极大的发挥程序员的思想空间</li>
<li>学习思考问题的方式，以及解题思路</li>
</ul>
<p><span class="exturl" data-url="aHR0cHM6Ly93d3cuamlhbnNodS5jb20vcC8wZTYzNjVmNGJiMDM/dXRtX2NhbXBhaWduPXNoYWtlc3BlYXJl" title="https://www.jianshu.com/p/0e6365f4bb03?utm_campaign=shakespeare">https://www.jianshu.com/p/0e6365f4bb03?utm_campaign=shakespeare<i class="fa fa-external-link"></i></span> 简书上面做的一个回答</p>
<a id="more"></a>

<h2 id="一些感谢："><a href="#一些感谢：" class="headerlink" title="一些感谢："></a>一些感谢：</h2><ol>
<li>文科生学这个表表示虽然痛苦，但是会努力一步一步的学习</li>
<li>写出来是监督自己产出，这门语言非常深奥和困难，借助视频和书籍慢慢啃</li>
<li>一定要深入的理解黑盒抽象的思维，解题的思路大于题目本身的意义</li>
<li>持续更新，用文章输出来勉励和督促自己。</li>
</ol>
<h1 id="第一节课-上课笔记"><a href="#第一节课-上课笔记" class="headerlink" title="第一节课 上课笔记"></a>第一节课 上课笔记</h1><h2 id="计算机科学"><a href="#计算机科学" class="headerlink" title="计算机科学"></a>计算机科学</h2><ol>
<li>y^2 = x &amp;&amp; y&gt;= 0</li>
<li>亚历山大的连续平方根</li>
<li>知道规则不等于可以运用规则</li>
<li>复杂度控制<ol>
<li>黑盒抽象</li>
<li>猜测-&gt;验证结果</li>
</ol>
</li>
<li>寻找函数的不动点<ol>
<li>输入</li>
<li>输出</li>
</ol>
</li>
<li>线性组合的基本方法</li>
<li>构建大型程序<ol>
<li>流</li>
<li>OOP</li>
</ol>
</li>
</ol>
<h2 id="黑盒抽象"><a href="#黑盒抽象" class="headerlink" title="黑盒抽象"></a>黑盒抽象</h2><p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926145204.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<h2 id="元语言抽象"><a href="#元语言抽象" class="headerlink" title="元语言抽象"></a>元语言抽象</h2><ol>
<li>数据抽象：如何组合程序的基本元素，构造更复杂的结构</li>
<li>过程抽象：如何将复杂的结构抽象出高层组件，提供更高维度的组合型</li>
<li>模块化，通过高抽象层次的组织方法，提高系统的模块性</li>
</ol>
<h2 id="约定接口"><a href="#约定接口" class="headerlink" title="约定接口"></a>约定接口</h2><ol>
<li>对应计算机的输入与输出</li>
<li>使用黑盒不需要知道内部结构，只需要知道约定俗称的接口的功能</li>
</ol>
<h2 id="在进行正式SCIP学习之前，需要安装环境"><a href="#在进行正式SCIP学习之前，需要安装环境" class="headerlink" title="在进行正式SCIP学习之前，需要安装环境"></a>在进行正式SCIP学习之前，需要安装环境</h2><h3 id="1-下载-DrRacket"><a href="#1-下载-DrRacket" class="headerlink" title="1. 下载 DrRacket"></a>1. 下载 DrRacket</h3><p>直接访问：<span class="exturl" data-url="aHR0cHM6Ly9yYWNrZXQtbGFuZy5vcmcv" title="https://racket-lang.org/">https://racket-lang.org/<i class="fa fa-external-link"></i></span></p>
<p>找到自己对应的内容下载页面</p>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926152047.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<h3 id="2-安装"><a href="#2-安装" class="headerlink" title="2. 安装"></a>2. 安装</h3><p>下载完安装包之后，就可以进行安装操作了</p>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926154022.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<p>注意不要安装在C盘，一般习惯是直接切换一个盘符，直接安装到D盘即可</p>
<p>安装好之后，你在桌面上可能找不到你要的东西，所以请查看一下你的开始菜单（MAC不了解，这里只能说明windows的地址，抱歉）</p>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926154221.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<h3 id="3-DrRacket"><a href="#3-DrRacket" class="headerlink" title="3. DrRacket"></a>3. DrRacket</h3><p>这个界面怎么说呢，如果你用过C语言的编辑器（没错就是老掉牙的那个），其实感觉还行，但是如果经常使用中文的菜单可能不习惯</p>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926154557.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<p>没关系，在HELP里面，可以切换：</p>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926154650.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<h3 id="4-安装-SICP-Package"><a href="#4-安装-SICP-Package" class="headerlink" title="4. 安装 SICP Package"></a>4. 安装 SICP Package</h3><ol>
<li>选择<code>File</code> -&gt; <code>Package Manger</code></li>
</ol>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926154758.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<ol>
<li>在标红的地方，输入<code>sicp</code></li>
</ol>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200929214408.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<ol>
<li>下载比较建议挂个梯子下载，需要访问github进行安装包的下载</li>
</ol>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926155047.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<ol>
<li>安装成功之后，大概类似这种界面</li>
</ol>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926155154.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<h3 id="5-测试-SICP-package-安装成功与否"><a href="#5-测试-SICP-package-安装成功与否" class="headerlink" title="5. 测试 SICP package 安装成功与否"></a>5. 测试 SICP package 安装成功与否</h3><ol>
<li>首先在顶部输入<code>#lang sicp</code>然后<code>run</code>一下，如果看到下面的语言切换了，说明成功了。</li>
</ol>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926155408.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<ol>
<li>接着输入如下的方法：</li>
</ol>
<figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br></pre></td><td class="code"><pre><span class="line">#lang sicp</span><br><span class="line">(define (increase x) (+ x 1))</span><br></pre></td></tr></table></figure>

<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926155727.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<ol>
<li>文件夹管理的包：<code>files-viewer</code>，类似插件，安装方式如下：</li>
</ol>
<p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926160110.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<h2 id="Sicp简单了解"><a href="#Sicp简单了解" class="headerlink" title="Sicp简单了解"></a>Sicp简单了解</h2><h3 id="基本语法："><a href="#基本语法：" class="headerlink" title="基本语法："></a>基本语法：</h3><figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br></pre></td><td class="code"><pre><span class="line">(+ 3  8)</span><br><span class="line">(* 3 (+ 7 19.5))</span><br><span class="line">(+ (+ 5 4) (* 6 (- 9 4)))</span><br></pre></td></tr></table></figure>

<ol>
<li>3 + 8 的和</li>
<li>3 * (7 + 19.5)</li>
</ol>
<h4 id="定义："><a href="#定义：" class="headerlink" title="定义："></a>定义：</h4><p>组织函数：</p>
<p>最简单的组织一个定义方式</p>
<figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br></pre></td><td class="code"><pre><span class="line">(define (square x) (* x x))</span><br></pre></td></tr></table></figure>

<p>使用lambda表达式</p>
<figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br></pre></td><td class="code"><pre><span class="line">(define square (lambda (x) (* x x)) )</span><br></pre></td></tr></table></figure>

<p>定义的组织函数本身也可以作为内容的一部分</p>
<figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br></pre></td><td class="code"><pre><span class="line">(define (sq x) (* x x))</span><br><span class="line">  (define (sum x y) (* (sq x) (sq y)))</span><br></pre></td></tr></table></figure>

<p>这样设计的好处：</p>
<ol>
<li>可以让程序员灵活的搭配组织简单的程序形成复杂的程序</li>
<li>没有语言的约束，只有基本的语法规则</li>
</ol>
<p>坏处：</p>
<ol>
<li>你无法知道哪些是定义，哪些是引用</li>
<li>程序的可读性较差</li>
</ol>
<h4 id="条件语句："><a href="#条件语句：" class="headerlink" title="条件语句："></a>条件语句：</h4><h5 id="cond：可以理解为switch-p1-p2-p3-p4-p5-p6"><a href="#cond：可以理解为switch-p1-p2-p3-p4-p5-p6" class="headerlink" title="cond：可以理解为switch ( (p1 p2) (p3 p4) (p5 p6) )"></a>cond：可以理解为switch ( (p1 p2) (p3 p4) (p5 p6) )</h5><p>如果没有唯一的一个cond 的值，则cond 会没有定义</p>
<figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br><span class="line">15</span><br><span class="line">16</span><br><span class="line">17</span><br></pre></td><td class="code"><pre><span class="line">cond (&lt;p1&gt; &lt;e1&gt;)</span><br><span class="line"></span><br><span class="line">    (&lt;p2&gt; &lt;e2&gt;)</span><br><span class="line"></span><br><span class="line">             .......</span><br><span class="line"></span><br><span class="line">            (&lt;pn&gt; &lt;en&gt;))</span><br><span class="line"></span><br><span class="line">或者</span><br><span class="line"></span><br><span class="line">(cond (&lt;p1&gt; &lt;e1&gt;)</span><br><span class="line"></span><br><span class="line">    (&lt;p2&gt; &lt;e2&gt;)</span><br><span class="line"></span><br><span class="line">             .......</span><br><span class="line"></span><br><span class="line">            (else &lt;en&gt;))</span><br></pre></td></tr></table></figure>

<p>应用：</p>
<figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br></pre></td><td class="code"><pre><span class="line">(define (sq3 y)</span><br><span class="line">  ((cond ((&gt; y 0) y)</span><br><span class="line">  ((&#x3D; y 0) 0)</span><br><span class="line">  ((&lt; y 0) (- y)))))</span><br></pre></td></tr></table></figure>

<p>另一种写法:</p>
<figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br></pre></td><td class="code"><pre><span class="line">(define (sq5 k)</span><br><span class="line">  (cond ((&lt; k 0) (- k))</span><br><span class="line">  (else k)))</span><br></pre></td></tr></table></figure>

<h5 id="if：是一种语法糖"><a href="#if：是一种语法糖" class="headerlink" title="if：是一种语法糖:"></a>if：是一种语法糖:</h5><figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br></pre></td><td class="code"><pre><span class="line">(define (zz x)</span><br><span class="line">  (if (&gt; x 0)</span><br><span class="line">      (-1)</span><br><span class="line">      x))</span><br></pre></td></tr></table></figure>

<ol>
<li>把自己的作为结果，带入到函数当中求值返回</li>
</ol>
<h5 id="and-…"><a href="#and-…" class="headerlink" title="(and  ….. )"></a>(and <e1> ….. <e2>)</h5><figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br></pre></td><td class="code"><pre><span class="line">(define (test t) </span><br><span class="line">  (and  (&gt; t 5) (&lt; t 1)))</span><br></pre></td></tr></table></figure>

<h5 id="or-…"><a href="#or-…" class="headerlink" title="(or ….. )"></a>(or<e1> ….. <e2>)</h5><figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br></pre></td><td class="code"><pre><span class="line">(define (test t) </span><br><span class="line">  (or (&gt; t 5) (&lt; t 1)))</span><br></pre></td></tr></table></figure>

<h5 id="not-…"><a href="#not-…" class="headerlink" title="(not ….. )"></a>(not<e1> ….. <e2>)</h5><figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br></pre></td><td class="code"><pre><span class="line">(define (test t) </span><br><span class="line">  (not (&gt; t 5) (&lt; t 1)))</span><br></pre></td></tr></table></figure>

<h3 id="什么是正则序求值，什么是应用序求值"><a href="#什么是正则序求值，什么是应用序求值" class="headerlink" title="什么是正则序求值，什么是应用序求值"></a>什么是正则序求值，什么是应用序求值</h3><p>结论：Lisp使用的是应用序求值</p>
<p>正则序求值：使用过程组合，层层的代换展开运算，最后完全展开运算完成的这个过程就叫做正则序求值（可以理解为懒加载，在只有实际使用到参数的时候，才会带入参数运算）</p>
<p>应用序求值：应用序求值，先对每一个形式参数带入实际的值进行实际的运算操作，直到返回最终结果</p>
<p>为什么Lisp使用应用序求值？</p>
<ol>
<li>减少没有必要的计算，比如说正则序列求值，需要将一步完成的计算继续拆分为更多步骤</li>
<li>正则的结果不一定完全正确（特殊案例）</li>
</ol>
<h3 id="课后练习："><a href="#课后练习：" class="headerlink" title="课后练习："></a>课后练习：</h3><p><img src="https://gitee.com/lazyTimes/imageReposity/raw/master/img/20200926164058.png?ynotemdtimestamp=1601964191688" alt="img"></p>
<h3 id="非常好的一个问题："><a href="#非常好的一个问题：" class="headerlink" title="非常好的一个问题："></a>非常好的一个问题：</h3><p>在定义的时候，如下面所示的括号有无的区别</p>
<figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br></pre></td><td class="code"><pre><span class="line">(define (d) (* 5 5))</span><br><span class="line">(define d (* 5 5)) </span><br><span class="line">&gt; 输入 a &#x3D; 5</span><br><span class="line">结果 25</span><br><span class="line">&gt; 输入 d &#x3D; 5</span><br><span class="line">结果 25</span><br><span class="line">两者内部的细节区别：</span><br><span class="line">(define (d) (* 5 5)) -&gt; 运行的是一个复合公式</span><br><span class="line">(define d (* 5 5))  -&gt; 函数的结果</span><br></pre></td></tr></table></figure>

<h3 id="课后练习-1-2"><a href="#课后练习-1-2" class="headerlink" title="课后练习 1.2"></a>课后练习 1.2</h3><figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br></pre></td><td class="code"><pre><span class="line">(&#x2F; (+ 5 4 (-2 (-3 (+ 6 (&#x2F; 4 5))))) (* 3 (- 6 2) (- 2 7)))</span><br></pre></td></tr></table></figure>

<p>解决思路：其实挺简单的，画树就行</p>
<h3 id="课后练习-1-3"><a href="#课后练习-1-3" class="headerlink" title="课后练习 1.3"></a>课后练习 1.3</h3><p>题目：求较大两数的两树之和？</p>
<p>分析：</p>
<p>使用双层if判断</p>
<p>拆分</p>
<figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br></pre></td><td class="code"><pre><span class="line">(define (maxVal3 x y z)</span><br><span class="line">  (if (&gt; x y)</span><br><span class="line">      (if (&gt; y z) (* x y)</span><br><span class="line">          (* x z))</span><br><span class="line">      (* z y)))</span><br></pre></td></tr></table></figure>

<h3 id="课后练习-1-4"><a href="#课后练习-1-4" class="headerlink" title="课后练习 1.4"></a>课后练习 1.4</h3><figure class="highlight plain"><table><tr><td class="gutter"><pre><span class="line">1</span><br></pre></td><td class="code"><pre><span class="line">(define (a-plus-abs-b a b) ((if (&gt; b 0) + -) a b))</span><br></pre></td></tr></table></figure>

<ol>
<li>if (b &gt; 0)<ol>
<li>+ a b</li>
</ol>
</li>
<li>if(b &lt; 0)<ol>
<li>- a b</li>
</ol>
</li>
</ol>
<h3 id="解答："><a href="#解答：" class="headerlink" title="解答："></a>解答：</h3><blockquote>
<p><strong>可知，由于(define (p) (p))， 如果出现了对（p）求值的情况， 就会陷入循环 scheme中的解释器本身就是应用序的，函数的求值会先对每一个参数进行求值， 　　　 然后把参数的值代入函数，若对(test 0 (p))使用应用序,那么（p）就会被求值， 　　 进入死循环中。而正则序是“完全展开而后规约”，在展开之后，由if条件判断，然后 　　 对0求值，由于（p）不会进行求值，最终函数可以正确返回0值。 （Guile中测试此程序确会进入死循环。）</strong></p>
<p>PS：这一段网上摘录的答案还不是很了解，还没有进行实际的验证</p>
</blockquote>
<script type="text/javascript" src="https://cdn.jsdelivr.net/npm/kity@2.0.4/dist/kity.min.js"></script><script type="text/javascript" src="https://cdn.jsdelivr.net/npm/kityminder-core@1.4.50/dist/kityminder.core.min.js"></script><script defer="true" type="text/javascript" src="https://cdn.jsdelivr.net/npm/hexo-simple-mindmap@0.2.0/dist/mindmap.min.js"></script><link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/npm/hexo-simple-mindmap@0.2.0/dist/mindmap.min.css">
    </div>

    
    
    
        

<div>
<ul class="post-copyright">
  <li class="post-copyright-author">
    <strong>本文作者： </strong>lazytime
  </li>
  <li class="post-copyright-link">
    <strong>本文链接：</strong>
    <a href="https://whitestore.top/2020/10/07/note29/" title="计算机程序的构造和解释-笔记(一)">https://whitestore.top/2020/10/07/note29/</a>
  </li>
  <li class="post-copyright-license">
    <strong>版权声明： </strong>本博客所有文章除特别声明外，均采用 <span class="exturl" data-url="aHR0cHM6Ly9jcmVhdGl2ZWNvbW1vbnMub3JnL2xpY2Vuc2VzL2J5LW5jLzQuMC96aC1DTg=="><i class="fa fa-fw fa-creative-commons"></i>BY-NC</span> 许可协议。转载请注明出处！
  </li>
</ul>
</div>


      <footer class="post-footer">
          <div class="post-tags">
              <a href="/tags/SICP/" rel="tag"># SICP</a>
          </div>

        


        
    <div class="post-nav">
      <div class="post-nav-item">
    <a href="/2020/10/07/note28/" rel="prev" title="模仿游戏-观后感">
      <i class="fa fa-chevron-left"></i> 模仿游戏-观后感
    </a></div>
      <div class="post-nav-item">
    <a href="/2020/10/07/note30/" rel="next" title="拥有一台surface pro3 是怎样的体验">
      拥有一台surface pro3 是怎样的体验 <i class="fa fa-chevron-right"></i>
    </a></div>
    </div>
      </footer>
    
  </article>
  
  
  



          </div>
          
    <div class="comments" id="valine-comments"></div>

<script>
  window.addEventListener('tabs:register', () => {
    let { activeClass } = CONFIG.comments;
    if (CONFIG.comments.storage) {
      activeClass = localStorage.getItem('comments_active') || activeClass;
    }
    if (activeClass) {
      let activeTab = document.querySelector(`a[href="#comment-${activeClass}"]`);
      if (activeTab) {
        activeTab.click();
      }
    }
  });
  if (CONFIG.comments.storage) {
    window.addEventListener('tabs:click', event => {
      if (!event.target.matches('.tabs-comment .tab-content .tab-pane')) return;
      let commentClass = event.target.classList[1];
      localStorage.setItem('comments_active', commentClass);
    });
  }
</script>

        </div>
          
  
  <div class="toggle sidebar-toggle">
    <span class="toggle-line toggle-line-first"></span>
    <span class="toggle-line toggle-line-middle"></span>
    <span class="toggle-line toggle-line-last"></span>
  </div>

  <aside class="sidebar">
    <div class="sidebar-inner">

      <ul class="sidebar-nav motion-element">
        <li class="sidebar-nav-toc">
          文章目录
        </li>
        <li class="sidebar-nav-overview">
          站点概览
        </li>
      </ul>

      <!--noindex-->
      <div class="post-toc-wrap sidebar-panel">
          <div class="post-toc motion-element"><ol class="nav"><li class="nav-item nav-level-1"><a class="nav-link" href="#前言"><span class="nav-number">1.</span> <span class="nav-text">前言</span></a><ol class="nav-child"><li class="nav-item nav-level-2"><a class="nav-link" href="#为什么要学计算机程序的构造与解释"><span class="nav-number">1.1.</span> <span class="nav-text">为什么要学计算机程序的构造与解释</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#一些感谢："><span class="nav-number">1.2.</span> <span class="nav-text">一些感谢：</span></a></li></ol></li><li class="nav-item nav-level-1"><a class="nav-link" href="#第一节课-上课笔记"><span class="nav-number">2.</span> <span class="nav-text">第一节课 上课笔记</span></a><ol class="nav-child"><li class="nav-item nav-level-2"><a class="nav-link" href="#计算机科学"><span class="nav-number">2.1.</span> <span class="nav-text">计算机科学</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#黑盒抽象"><span class="nav-number">2.2.</span> <span class="nav-text">黑盒抽象</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#元语言抽象"><span class="nav-number">2.3.</span> <span class="nav-text">元语言抽象</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#约定接口"><span class="nav-number">2.4.</span> <span class="nav-text">约定接口</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#在进行正式SCIP学习之前，需要安装环境"><span class="nav-number">2.5.</span> <span class="nav-text">在进行正式SCIP学习之前，需要安装环境</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#1-下载-DrRacket"><span class="nav-number">2.5.1.</span> <span class="nav-text">1. 下载 DrRacket</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#2-安装"><span class="nav-number">2.5.2.</span> <span class="nav-text">2. 安装</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#3-DrRacket"><span class="nav-number">2.5.3.</span> <span class="nav-text">3. DrRacket</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#4-安装-SICP-Package"><span class="nav-number">2.5.4.</span> <span class="nav-text">4. 安装 SICP Package</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#5-测试-SICP-package-安装成功与否"><span class="nav-number">2.5.5.</span> <span class="nav-text">5. 测试 SICP package 安装成功与否</span></a></li></ol></li><li class="nav-item nav-level-2"><a class="nav-link" href="#Sicp简单了解"><span class="nav-number">2.6.</span> <span class="nav-text">Sicp简单了解</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#基本语法："><span class="nav-number">2.6.1.</span> <span class="nav-text">基本语法：</span></a><ol class="nav-child"><li class="nav-item nav-level-4"><a class="nav-link" href="#定义："><span class="nav-number">2.6.1.1.</span> <span class="nav-text">定义：</span></a></li><li class="nav-item nav-level-4"><a class="nav-link" href="#条件语句："><span class="nav-number">2.6.1.2.</span> <span class="nav-text">条件语句：</span></a><ol class="nav-child"><li class="nav-item nav-level-5"><a class="nav-link" href="#cond：可以理解为switch-p1-p2-p3-p4-p5-p6"><span class="nav-number">2.6.1.2.1.</span> <span class="nav-text">cond：可以理解为switch ( (p1 p2) (p3 p4) (p5 p6) )</span></a></li><li class="nav-item nav-level-5"><a class="nav-link" href="#if：是一种语法糖"><span class="nav-number">2.6.1.2.2.</span> <span class="nav-text">if：是一种语法糖:</span></a></li><li class="nav-item nav-level-5"><a class="nav-link" href="#and-…"><span class="nav-number">2.6.1.2.3.</span> <span class="nav-text">(and  ….. )</span></a></li><li class="nav-item nav-level-5"><a class="nav-link" href="#or-…"><span class="nav-number">2.6.1.2.4.</span> <span class="nav-text">(or ….. )</span></a></li><li class="nav-item nav-level-5"><a class="nav-link" href="#not-…"><span class="nav-number">2.6.1.2.5.</span> <span class="nav-text">(not ….. )</span></a></li></ol></li></ol></li><li class="nav-item nav-level-3"><a class="nav-link" href="#什么是正则序求值，什么是应用序求值"><span class="nav-number">2.6.2.</span> <span class="nav-text">什么是正则序求值，什么是应用序求值</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#课后练习："><span class="nav-number">2.6.3.</span> <span class="nav-text">课后练习：</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#非常好的一个问题："><span class="nav-number">2.6.4.</span> <span class="nav-text">非常好的一个问题：</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#课后练习-1-2"><span class="nav-number">2.6.5.</span> <span class="nav-text">课后练习 1.2</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#课后练习-1-3"><span class="nav-number">2.6.6.</span> <span class="nav-text">课后练习 1.3</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#课后练习-1-4"><span class="nav-number">2.6.7.</span> <span class="nav-text">课后练习 1.4</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#解答："><span class="nav-number">2.6.8.</span> <span class="nav-text">解答：</span></a></li></ol></li></ol></li></ol></div>
      </div>
      <!--/noindex-->

      <div class="site-overview-wrap sidebar-panel">
        <div class="site-author motion-element" itemprop="author" itemscope itemtype="http://schema.org/Person">
  <p class="site-author-name" itemprop="name">阿东</p>
  <div class="site-description" itemprop="description">随遇而安</div>
</div>
<div class="site-state-wrap motion-element">
  <nav class="site-state">
      <div class="site-state-item site-state-posts">
          <a href="/archives/">
        
          <span class="site-state-item-count">239</span>
          <span class="site-state-item-name">日志</span>
        </a>
      </div>
      <div class="site-state-item site-state-categories">
            <a href="/categories/">
          
        <span class="site-state-item-count">36</span>
        <span class="site-state-item-name">分类</span></a>
      </div>
      <div class="site-state-item site-state-tags">
            <a href="/tags/">
          
        <span class="site-state-item-count">37</span>
        <span class="site-state-item-name">标签</span></a>
      </div>
  </nav>
</div>
  <div class="links-of-author motion-element">
      <span class="links-of-author-item">
        <span class="exturl" data-url="aHR0cHM6Ly9naXRodWIuY29tL2xhenlUaW1lcw==" title="GitHub → https:&#x2F;&#x2F;github.com&#x2F;lazyTimes"><i class="fa fa-fw fa-github"></i>GitHub</span>
      </span>
      <span class="links-of-author-item">
        <span class="exturl" data-url="bWFpbHRvOjEwOTc0ODM1MDhAcXEuY29t" title="E-Mail → mailto:1097483508@qq.com"><i class="fa fa-fw fa-envelope"></i>E-Mail</span>
      </span>
  </div>


  <div class="links-of-blogroll motion-element">
    <div class="links-of-blogroll-title">
      <i class="fa fa-fw fa-link"></i>
      友情链接
    </div>
    <ul class="links-of-blogroll-list">
        <li class="links-of-blogroll-item">
          <span class="exturl" data-url="aHR0cHM6Ly93d3cuNTJwb2ppZS5jbi9ob21lLnBocD9tb2Q9c3BhY2UmdWlkPTE0OTc3MTgmZG89dGhyZWFkJnZpZXc9bWUmZnJvbT1zcGFjZQ==" title="https:&#x2F;&#x2F;www.52pojie.cn&#x2F;home.php?mod&#x3D;space&amp;uid&#x3D;1497718&amp;do&#x3D;thread&amp;view&#x3D;me&amp;from&#x3D;space">吾爱破解</span>
        </li>
        <li class="links-of-blogroll-item">
          <span class="exturl" data-url="aHR0cHM6Ly9qdWVqaW4uaW0vdXNlci8yOTk5MTIzNDUyNjI2MzY2" title="https:&#x2F;&#x2F;juejin.im&#x2F;user&#x2F;2999123452626366">掘金</span>
        </li>
        <li class="links-of-blogroll-item">
          <span class="exturl" data-url="aHR0cHM6Ly9zZWdtZW50ZmF1bHQuY29tL3UvbGF6eXRpbWVz" title="https:&#x2F;&#x2F;segmentfault.com&#x2F;u&#x2F;lazytimes">思否</span>
        </li>
    </ul>
  </div>

      </div>

      <div class="wechat_OA">
        <span>欢迎关注我的公众号</span>
        <br>
          <!-- 这里添加你的二维码图片 -->
        <img src ="https://adong-picture.oss-cn-shenzhen.aliyuncs.com/adong/wechat_channel.jpg">
      </div>
        <div class="back-to-top motion-element">
          <i class="fa fa-arrow-up"></i>
          <span>0%</span>
        </div>

    </div>
  </aside>
  <div id="sidebar-dimmer"></div>


      </div>
    </main>

    <footer class="footer">
      <div class="footer-inner">
        

        

<div class="copyright">
  
  &copy; 
  <span itemprop="copyrightYear">2023</span>
  <span class="with-love">
    <i class="fa fa-user"></i>
  </span>
  <span class="author" itemprop="copyrightHolder">阿东</span>
    <span class="post-meta-divider">|</span>
    <span class="post-meta-item-icon">
      <i class="fa fa-area-chart"></i>
    </span>
      <span class="post-meta-item-text">站点总字数：</span>
    <span title="站点总字数">2m</span>
    <span class="post-meta-divider">|</span>
    <span class="post-meta-item-icon">
      <i class="fa fa-coffee"></i>
    </span>
      <span class="post-meta-item-text">站点阅读时长 &asymp;</span>
    <span title="站点阅读时长">29:50</span>
</div>
  <div class="powered-by">由 <span class="exturl theme-link" data-url="aHR0cHM6Ly9oZXhvLmlv">Hexo</span> & <span class="exturl theme-link" data-url="aHR0cHM6Ly90aGVtZS1uZXh0Lm9yZw==">NexT.Gemini</span> 强力驱动
  </div>

        
<div class="busuanzi-count">
  <script async src="https://busuanzi.ibruce.info/busuanzi/2.3/busuanzi.pure.mini.js"></script>
    <span class="post-meta-item" id="busuanzi_container_site_uv" style="display: none;">
      <span class="post-meta-item-icon">
        <i class="fa fa-user"></i>
      </span>
      <span class="site-uv" title="总访客量">
        <span id="busuanzi_value_site_uv"></span>
      </span>
    </span>
    <span class="post-meta-divider">|</span>
    <span class="post-meta-item" id="busuanzi_container_site_pv" style="display: none;">
      <span class="post-meta-item-icon">
        <i class="fa fa-eye"></i>
      </span>
      <span class="site-pv" title="总访问量">
        <span id="busuanzi_value_site_pv"></span>
      </span>
    </span>
</div>








      </div>
    </footer>
  </div>

  
  <script src="/lib/anime.min.js"></script>
  <script src="//cdn.jsdelivr.net/npm/jquery@3/dist/jquery.min.js"></script>
  <script src="//cdn.jsdelivr.net/gh/fancyapps/fancybox@3/dist/jquery.fancybox.min.js"></script>
  <script src="/lib/velocity/velocity.min.js"></script>
  <script src="/lib/velocity/velocity.ui.min.js"></script>

<script src="/js/utils.js"></script>

<script src="/js/motion.js"></script>


<script src="/js/schemes/pisces.js"></script>


<script src="/js/next-boot.js"></script>




  




  
<script src="/js/local-search.js"></script>













  

  


<script>
NexT.utils.loadComments(document.querySelector('#valine-comments'), () => {
  NexT.utils.getScript('//unpkg.com/valine/dist/Valine.min.js', () => {
    var GUEST = ['nick', 'mail', 'link'];
    var guest = 'nick,mail,link';
    guest = guest.split(',').filter(item => {
      return GUEST.includes(item);
    });
    new Valine({
      el         : '#valine-comments',
      verify     : false,
      notify     : true,
      appId      : 'qMUpEEvBgXaMDD1b0ftgi9xr-gzGzoHsz',
      appKey     : 'UCdfT4Rfih6MO6y8DI4fstf6',
      placeholder: "Just go go",
      avatar     : 'mm',
      meta       : guest,
      pageSize   : '10' || 10,
      visitor    : false,
      lang       : 'zh-CN' || 'zh-cn',
      path       : location.pathname,
      recordIP   : false,
      serverURLs : ''
    });
  }, window.Valine);
});
</script>

</body>
</html>
